(declare-sort S0 0)

(declare-const arr-4288260026874202574_-5888426203393595543-0 (Array Bool Real))
(declare-const arr-4850304371031819733_-7794334710891084498-0 (Array (Array Bool Real) S0))
(assert (distinct (select arr-4850304371031819733_-7794334710891084498-0 arr-4288260026874202574_-5888426203393595543-0) (select arr-4850304371031819733_-7794334710891084498-0 (store arr-4288260026874202574_-5888426203393595543-0 true 740.0))))
(assert (= (store arr-4288260026874202574_-5888426203393595543-0 true 740.0) arr-4288260026874202574_-5888426203393595543-0 arr-4288260026874202574_-5888426203393595543-0 arr-4288260026874202574_-5888426203393595543-0))
(check-sat)
